ma-prob-da(M)
== b:Id.
== ma-prob-da-dom(M;b)
== & ((b  dom(M.prob))  ((M.da(locl(b)) r Outcome) & (Outcome r M.da(locl(b))))) 

latex

---

clarification:

ma-prob-da(M)
== b:Id.
== ma-prob-da-dom(M;b)
== & ((b  dom(M.prob))
== & ( ((M.da(locl(b)) r p-outcome(ma-prob(M;b)))
== & ( & (p-outcome(ma-prob(M;b)) r M.da(locl(b))))) 

latex

Definitions	x:A. B(x), Id, ma-prob-da-dom(M;b), P  Q, b, b  dom(M.prob), P & Q, Outcome, ma-prob(M;b), M.da(a), locl(a)
FDL editor aliases	ma-prob-da